منابع مشابه
Meaning and Partiality Revised
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key equalities for the connectives and with four values (truth, falsehood, and undefinedness with negative and positive polarity; only the first truth value is designated). Aim and Scope In logical semantics the grammar a...
متن کاملQuantiiers and Partiality
1 Varieties of Partiality Quantiication can involve partiality in several ways. Quantiiers loaded with presuppositions give rise to partiality by introducing truth value gaps (if there are no A, and the quantiier all + carries an existence presupposi-tion, then all + A are B will lack a truth value). The study of quantiiers in contexts of incomplete information involves a quite diierent kind of...
متن کاملAggregation , Partiality , and the
Aggregation, Partiality, and the Strong Beneficence Principle Dale Dorsey Department of Philosophy University of Alberta 4-115 Humanities Centre Edmonton, Alberta Canada T6G 2E5 [email protected] The moral philosophy literature has, of late, been flush with discussion pro and con of the Strong Beneficence Principle: Strong Beneficence Principle (SBP): Persons of affluent means ought to give to...
متن کاملPartiality and Container Monads
We investigate monads of partiality in Martin-Löf type theory, following Moggi’s general monad-based method for modelling effectful computations. These monads are often called lifting monads and appear in category theory with different but related definitions. In this paper, we unveil the relationship between containers and lifting monads. We show that the lifting monads usually employed in typ...
متن کاملPartiality without the Cost Partiality without the Cost
Even though it is not very often admitted, partial functions do play a signiicant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanisation. Based on this, we have developed resolution and tableau calculi for automated theorem proving. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy & Public Affairs
سال: 2017
ISSN: 0048-3915
DOI: 10.1111/papa.12083